test_vpkswus128_1:
  # {-1, -32768, 0, 32767}
  #_ REGISTER_IN v3 [FFFFFFFF, FFFF8000, 00000000, 00007FFF]
  # {-2, -32769, 1, 32768}
  #_ REGISTER_IN v4 [FFFFFFFE, FFFF7FFF, 00000001, 00008000]
  vpkswus128 v5, v3, v4
  blr
  #_ REGISTER_OUT v3 [FFFFFFFF, FFFF8000, 00000000, 00007FFF]
  #_ REGISTER_OUT v4 [FFFFFFFE, FFFF7FFF, 00000001, 00008000]
  # {0, 0, 0, 32767, 0, 0, 1, 32768}
  #_ REGISTER_OUT v5 [00000000, 00007FFF, 00000000, 00018000]
